Refinement: A Sense of Progress
نویسندگان
چکیده
منابع مشابه
Molecules with a sense of logic: a progress report.
In this tutorial review, the most recent developments in the field of molecular logic and information processing are discussed. Special emphasis is given to the report of progress in the concatenation of molecular logic devices and switches, the design of memory systems working according to the principles of sequential logic, the mimicking of transistors, and the research on photochromic platfo...
متن کاملIT Progress Indicators: Sense of Progress, Subjective Sense of Time, User Preference and the Perception of Process Duration
Users of information technology (IT) often encounter “progress indicators” during their interactions. These graphics (e.g., progress bars) appear on computing screens as users wait for a task to complete. The purpose of progress indicators is to inform users of the progress being made to complete a task. This study employs two theoretical models from psychological research on human waiting to d...
متن کاملSENSE MODE AND COUPLING IN A VIGILANCE TASK ( Progress
SENSE MODE AND COUPLING IN A VIGILANCE TASK
متن کاملComputational Poetry Workshop: Making Sense of Work in Progress
Creativity cannot exist in a vacuum; it develops through feedback, learning, reflection and social interaction with others. However, this perspective has been relatively under-investigated in computational creativity research, which typically examines systems that operate individually. We develop a thought experiment showing how structured dialogues can help develop the creative aspects of comp...
متن کاملContextual Trace Refinement for Concurrent Objects: Safety and Progress
Correctness of concurrent objects is defined in terms of safety properties such as linearizability, sequential consistency, and quiescent consistency, and progress properties such as wait-, lock-, and obstruction-freedom. These properties, however, only refer to the behaviours of the object in isolation, which does not tell us what guarantees these correctness conditions on concurrent objects p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Alternatives to Laboratory Animals
سال: 2009
ISSN: 0261-1929,2632-3559
DOI: 10.1177/026119290903700201